Section: New Results
Parametricity in Template Coq
Participants : Cyril Cohen, Damien Rouhling, Assia Mahboubi [Inria Rennes Bretagne Atlantique, Gallinette project team] , Nicolas Tabareau [Inria Rennes Bretagne Atlantique, Gallinette project team] .
We study the implementation of parametricity in Template Coq and improve on the work proposed the article Equivalence for free! [17]. This work is available at https://github.com/CoqHott/parametricity-a-la-carte.